From control law diagrams to Ada via Circus

From control law diagrams to Ada via Circus

Show other versions (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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Cavalcanti, A, Clayton, P, O'Halloran, C
Format:	Journal article
Sprog:	English
Udgivet:	2011

Lignende værker

From Control Law Diagrams to Ada via Circus
af: Cavalcanti, A, et al.
Udgivet: (2011)

The Elephant and the Circus
af: Ivona Janjic, et al.
Udgivet: (2018-06-01)

Circus days
af: Lisa Wiklund
Udgivet: (2015-06-01)

Charity law and social inclusion : an international study /
af: O'halloran, Ke
Udgivet: (2007)

Stop Tobacco Circus
af: Abd Razak, Dzulkifli
Udgivet: (2005)

The immunity boosting circus
af: Jessica Philip
Udgivet: (2020-01-01)

A son of the circus /
af: Irving, John 218240
Udgivet: (1994)

Spot goes to the circus /
af: Hill, Eric, 1927-2014, author
Udgivet: (1986)

Five Ring Circus /
af: Cleary, Jon, 1917-, author
Udgivet: (1998)

The flying circus of physics/
af: Walker, Jearl, 1945-
Udgivet: (1975)

Fairground and circus transport/
af: 11731 Olyslager Organisation, et al.
Udgivet: (1973)

The flying circus of physics /
af: 377744 Walker, Jearl
Udgivet: (2007)

Circus is a performance but it is also a building—memory of circus buildings in Europe
af: Marija Divac, et al.
Udgivet: (2022-04-01)

From the Fair Theatre to the Modern Circus
af: Mario Fernando Bolognesi
Udgivet: (2020-09-01)

From the Fair Theatre to the Modern Circus
af: Mario Fernando Bolognesi
Udgivet: (2020-09-01)

Recuperation of the Roman circus in Tarragona
af: Ricardo Mar, et al.
Udgivet: (1998-12-01)

Russian philosophy and circus art
af: Markov Alexander Viktorovich
Udgivet: (2022-07-01)

«Circus fantasticus» Бурењине-Петрове
af: Жељски, Тамара
Udgivet: (2017-07-01)

CIRCUS AND SOVIET TOTALITARIAN PRACTICES
af: Марина Столяр
Udgivet: (2012-12-01)

The flying circus of physics : with answers/
af: Walker, Jearl, 1945-
Udgivet: (1977)

Circus Workshop in the chid Psychiatry
af: Crusös Dora
Udgivet: (2016-05-01)

Test-data generation for control coverage by proof
af: Cavalcanti, A, et al.
Udgivet: (2014)

Test−data Generation for Control Coverage by Proof
af: Cavalcanti, A, et al.
Udgivet: (2013)

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
af: Alvaro Miyazawa, et al.
Udgivet: (2016-06-01)

Elections – theatres of fears or circuses of hope?
af: Dorling, D
Udgivet: (2024)

DAN DIACONESCU: THE POLITICS OF BREAD AND CIRCUSES
af: VALENTIN QUINTUS NICOLESCU, et al.
Udgivet: (2013-05-01)

Welfare Implications for Tigers in Travelling Circuses
af: Emily Davies, et al.
Udgivet: (2024-03-01)

COVID-19: An Ontological Human Circus?
af: Venkat Rao Pulla
Udgivet: (2023-03-01)

The Circus Art in Lviv in the 1880s (From August Krembser to Albert Schumann)
af: O. O. Pospelov
Udgivet: (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 /
af: 189796 Gardner, Martin
Udgivet: (1979)

Automated verification of code automatically generated from Simulink (R)
af: O'Halloran, C
Udgivet: (2013)

The form development in the Kazan State Circus architecture
af: Orlov Evgeny
Udgivet: (2023-01-01)

Welcome to the show: meanings of work by circus performers
af: Scheila Girelli, et al.
Udgivet: (2017-12-01)

‘Double-trouble’ for respiratory control in Pompe disease
af: Ken D. O’Halloran
Udgivet: (2011-09-01)

Bread and circuses : food meets politics in the Singapore media
af: Duffy, Andrew, et al.
Udgivet: (2019)

Astley's Amphitheatre and the early circus in England, 1768-1830
af: Kwint, M
Udgivet: (1994)

Stop this political circus, we don’t need the clowns
af: Abd Razak, Dzulkifli
Udgivet: (2009)

Considerations for the Medical Management of the Circus Performance Artist and Acrobat
af: John Faltus, et al.
Udgivet: (2022-02-01)

Complete mitochondrial genomesequence of the hen harrier (Circus cyaneus)
af: Xiaodong Gao, et al.
Udgivet: (2018-07-01)

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