From control law diagrams to Ada via Circus
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...
Glavni autori: | Cavalcanti, A, Clayton, P, O'Halloran, C |
---|---|
Format: | Journal article |
Jezik: | English |
Izdano: |
2011
|
Slični predmeti
-
From Control Law Diagrams to Ada via Circus
od: Cavalcanti, A, i dr.
Izdano: (2011) -
The Elephant and the Circus
od: Ivona Janjic, i dr.
Izdano: (2018-06-01) -
Circus days
od: Lisa Wiklund
Izdano: (2015-06-01) -
Charity law and social inclusion : an international study /
od: O'halloran, Ke
Izdano: (2007) -
Stop Tobacco Circus
od: Abd Razak, Dzulkifli
Izdano: (2005)