From control law diagrams to Ada via Circus

From control law diagrams to Ada via Circus

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Cavalcanti, A, Clayton, P, O'Halloran, C
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2011

Míreanna comhchosúla

From Control Law Diagrams to Ada via Circus
de réir: Cavalcanti, A, et al.
Foilsithe / Cruthaithe: (2011)

The Elephant and the Circus
de réir: Ivona Janjic, et al.
Foilsithe / Cruthaithe: (2018-06-01)

Circus days
de réir: Lisa Wiklund
Foilsithe / Cruthaithe: (2015-06-01)

Charity law and social inclusion : an international study /
de réir: O'halloran, Ke
Foilsithe / Cruthaithe: (2007)

Stop Tobacco Circus
de réir: Abd Razak, Dzulkifli
Foilsithe / Cruthaithe: (2005)

The immunity boosting circus
de réir: Jessica Philip
Foilsithe / Cruthaithe: (2020-01-01)

A son of the circus /
de réir: Irving, John 218240
Foilsithe / Cruthaithe: (1994)

Spot goes to the circus /
de réir: Hill, Eric, 1927-2014, author
Foilsithe / Cruthaithe: (1986)

Five Ring Circus /
de réir: Cleary, Jon, 1917-, author
Foilsithe / Cruthaithe: (1998)

The flying circus of physics/
de réir: Walker, Jearl, 1945-
Foilsithe / Cruthaithe: (1975)

Fairground and circus transport/
de réir: 11731 Olyslager Organisation, et al.
Foilsithe / Cruthaithe: (1973)

The flying circus of physics /
de réir: 377744 Walker, Jearl
Foilsithe / Cruthaithe: (2007)

Circus is a performance but it is also a building—memory of circus buildings in Europe
de réir: Marija Divac, et al.
Foilsithe / Cruthaithe: (2022-04-01)

From the Fair Theatre to the Modern Circus
de réir: Mario Fernando Bolognesi
Foilsithe / Cruthaithe: (2020-09-01)

From the Fair Theatre to the Modern Circus
de réir: Mario Fernando Bolognesi
Foilsithe / Cruthaithe: (2020-09-01)

Recuperation of the Roman circus in Tarragona
de réir: Ricardo Mar, et al.
Foilsithe / Cruthaithe: (1998-12-01)

Russian philosophy and circus art
de réir: Markov Alexander Viktorovich
Foilsithe / Cruthaithe: (2022-07-01)

«Circus fantasticus» Бурењине-Петрове
de réir: Жељски, Тамара
Foilsithe / Cruthaithe: (2017-07-01)

CIRCUS AND SOVIET TOTALITARIAN PRACTICES
de réir: Марина Столяр
Foilsithe / Cruthaithe: (2012-12-01)

The flying circus of physics : with answers/
de réir: Walker, Jearl, 1945-
Foilsithe / Cruthaithe: (1977)

Circus Workshop in the chid Psychiatry
de réir: Crusös Dora
Foilsithe / Cruthaithe: (2016-05-01)

Test-data generation for control coverage by proof
de réir: Cavalcanti, A, et al.
Foilsithe / Cruthaithe: (2014)

Test−data Generation for Control Coverage by Proof
de réir: Cavalcanti, A, et al.
Foilsithe / Cruthaithe: (2013)

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
de réir: Alvaro Miyazawa, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Elections – theatres of fears or circuses of hope?
de réir: Dorling, D
Foilsithe / Cruthaithe: (2024)

DAN DIACONESCU: THE POLITICS OF BREAD AND CIRCUSES
de réir: VALENTIN QUINTUS NICOLESCU, et al.
Foilsithe / Cruthaithe: (2013-05-01)

Welfare Implications for Tigers in Travelling Circuses
de réir: Emily Davies, et al.
Foilsithe / Cruthaithe: (2024-03-01)

COVID-19: An Ontological Human Circus?
de réir: Venkat Rao Pulla
Foilsithe / Cruthaithe: (2023-03-01)

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

Automated verification of code automatically generated from Simulink (R)
de réir: O'Halloran, C
Foilsithe / Cruthaithe: (2013)

The form development in the Kazan State Circus architecture
de réir: Orlov Evgeny
Foilsithe / Cruthaithe: (2023-01-01)

Welcome to the show: meanings of work by circus performers
de réir: Scheila Girelli, et al.
Foilsithe / Cruthaithe: (2017-12-01)

‘Double-trouble’ for respiratory control in Pompe disease
de réir: Ken D. O’Halloran
Foilsithe / Cruthaithe: (2011-09-01)

Bread and circuses : food meets politics in the Singapore media
de réir: Duffy, Andrew, et al.
Foilsithe / Cruthaithe: (2019)

Astley's Amphitheatre and the early circus in England, 1768-1830
de réir: Kwint, M
Foilsithe / Cruthaithe: (1994)

Stop this political circus, we don’t need the clowns
de réir: Abd Razak, Dzulkifli
Foilsithe / Cruthaithe: (2009)

Considerations for the Medical Management of the Circus Performance Artist and Acrobat
de réir: John Faltus, et al.
Foilsithe / Cruthaithe: (2022-02-01)

Complete mitochondrial genomesequence of the hen harrier (Circus cyaneus)
de réir: Xiaodong Gao, et al.
Foilsithe / Cruthaithe: (2018-07-01)

Director’s Techniques of Recreating Circus Culture on the Screen and in the Arena
de réir: Галина Погребняк
Foilsithe / Cruthaithe: (2023-04-01)