From control law diagrams to Ada via Circus

From control law diagrams to Ada via Circus

他のバージョン（1件）を表示する

Control engineers make extensive use of diagrammatic notations; control law diagrams are used in industry every day. Techniques and tools for analysis of these diagrams or their models are plentiful, but verification of their implementations is a challenge that has been taken up by few. We are aware...

書誌詳細
主要な著者:	Cavalcanti, A, Clayton, P, O'Halloran, C
フォーマット:	Journal article
言語:	English
出版事項:	2011

類似資料

From Control Law Diagrams to Ada via Circus
著者:: Cavalcanti, A, 等
出版事項: (2011)

The Elephant and the Circus
著者:: Ivona Janjic, 等
出版事項: (2018-06-01)

Circus days
著者:: Lisa Wiklund
出版事項: (2015-06-01)

Charity law and social inclusion : an international study /
著者:: O'halloran, Ke
出版事項: (2007)

Stop Tobacco Circus
著者:: Abd Razak, Dzulkifli
出版事項: (2005)

The immunity boosting circus
著者:: Jessica Philip
出版事項: (2020-01-01)

A son of the circus /
著者:: Irving, John 218240
出版事項: (1994)

Spot goes to the circus /
著者:: Hill, Eric, 1927-2014, author
出版事項: (1986)

Five Ring Circus /
著者:: Cleary, Jon, 1917-, author
出版事項: (1998)

The flying circus of physics/
著者:: Walker, Jearl, 1945-
出版事項: (1975)

Fairground and circus transport/
著者:: 11731 Olyslager Organisation, 等
出版事項: (1973)

The flying circus of physics /
著者:: 377744 Walker, Jearl
出版事項: (2007)

Circus is a performance but it is also a building—memory of circus buildings in Europe
著者:: Marija Divac, 等
出版事項: (2022-04-01)

From the Fair Theatre to the Modern Circus
著者:: Mario Fernando Bolognesi
出版事項: (2020-09-01)

From the Fair Theatre to the Modern Circus
著者:: Mario Fernando Bolognesi
出版事項: (2020-09-01)

Recuperation of the Roman circus in Tarragona
著者:: Ricardo Mar, 等
出版事項: (1998-12-01)

Russian philosophy and circus art
著者:: Markov Alexander Viktorovich
出版事項: (2022-07-01)

«Circus fantasticus» Бурењине-Петрове
著者:: Жељски, Тамара
出版事項: (2017-07-01)

CIRCUS AND SOVIET TOTALITARIAN PRACTICES
著者:: Марина Столяр
出版事項: (2012-12-01)

The flying circus of physics : with answers/
著者:: Walker, Jearl, 1945-
出版事項: (1977)

Circus Workshop in the chid Psychiatry
著者:: Crusös Dora
出版事項: (2016-05-01)

Test-data generation for control coverage by proof
著者:: Cavalcanti, A, 等
出版事項: (2014)

Test−data Generation for Control Coverage by Proof
著者:: Cavalcanti, A, 等
出版事項: (2013)

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
著者:: Alvaro Miyazawa, 等
出版事項: (2016-06-01)

Elections – theatres of fears or circuses of hope?
著者:: Dorling, D
出版事項: (2024)

DAN DIACONESCU: THE POLITICS OF BREAD AND CIRCUSES
著者:: VALENTIN QUINTUS NICOLESCU, 等
出版事項: (2013-05-01)

Welfare Implications for Tigers in Travelling Circuses
著者:: Emily Davies, 等
出版事項: (2024-03-01)

COVID-19: An Ontological Human Circus?
著者:: Venkat Rao Pulla
出版事項: (2023-03-01)

The Circus Art in Lviv in the 1880s (From August Krembser to Albert Schumann)
著者:: O. O. Pospelov
出版事項: (2019-11-01)

Mathematical circus : more games, puzzles, paradoxes, & other mathematical entertainments from Scientific American - with thoughts from readers, afterthoughts from the author, and 105 drawings & diagrams /
著者:: 189796 Gardner, Martin
出版事項: (1979)

Automated verification of code automatically generated from Simulink (R)
著者:: O'Halloran, C
出版事項: (2013)

The form development in the Kazan State Circus architecture
著者:: Orlov Evgeny
出版事項: (2023-01-01)

Welcome to the show: meanings of work by circus performers
著者:: Scheila Girelli, 等
出版事項: (2017-12-01)

‘Double-trouble’ for respiratory control in Pompe disease
著者:: Ken D. O’Halloran
出版事項: (2011-09-01)

Bread and circuses : food meets politics in the Singapore media
著者:: Duffy, Andrew, 等
出版事項: (2019)

Astley's Amphitheatre and the early circus in England, 1768-1830
著者:: Kwint, M
出版事項: (1994)

Stop this political circus, we don’t need the clowns
著者:: Abd Razak, Dzulkifli
出版事項: (2009)

Considerations for the Medical Management of the Circus Performance Artist and Acrobat
著者:: John Faltus, 等
出版事項: (2022-02-01)

Complete mitochondrial genomesequence of the hen harrier (Circus cyaneus)
著者:: Xiaodong Gao, 等
出版事項: (2018-07-01)

Director’s Techniques of Recreating Circus Culture on the Screen and in the Arena
著者:: Галина Погребняк
出版事項: (2023-04-01)