Lemma 1 Ltd / DERA Bedford / Z R. Arthan Lemma 1 Ltd / 2nd Floor / /
Country
United Kingdom / /
Currency
USD / / /
Facility
ClawZ library / ClawZ library As / /
IndustryTerm
compliance tool / prototype tool / real aerospace control systems / multirate control systems / control law representation / refinement checking tool / control law diagram / flight control law / refinement verification tool / control law diagrams / default algorithm / software implementation / control theory / control systems / changed control law / control engineering tool / conventional differencing tools / it easy to transport between systems / distributed applications / verification technology / control law / individual control law / /
Organization
IEEE Computer Society / /
Person
Using / /
Position
author / gov. uk Section / King / Simulink Model Library Metadata File Translator / translator / Translator steering file The translator / cyclic scheduler / text editor / ClawZ Translation Process Translator / ClawZ translator / /
ClawZ: Control laws in Z R. Arthan Lemma 1 Ltd, UK [removed] Abstract