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)