International Journal / Oxford University Computing Laboratory / Process Control Laboratory / Discrete Event Systems / SPEC AG / Esprit / Cadence Berkeley Labs / Hybrid Systems / /
Country
Germany / France / United States / /
Currency
pence / / /
Facility
Prentice Hall / Embedded Control Software Nanette Bauer University of Dortmund / reactor T3 / Ralf Huuck University of Kiel Institute / University of Dortmund / Institute of Computer Science / plant In Fig / University of Kiel / Process Control Laboratory / /
IndustryTerm
realtime systems / chosen product / transportation / chemical plants / chemical engineering / software plays / size systems / audio protocol / web pages1 / homogenous solution / control systems / embedded control systems / chemical plant / concurrent systems / manufacturing / control software / plant equipment / transition systems / verification tool / /
OperatingSystem
KRONOS / /
Organization
North Atlantic Treaty Organization / International Electrotechnical Commission / Embedded Control Software Nanette Bauer University of Dortmund / University of Kiel / University of Dortmund / Technical Committee / University of Kiel Institute of Computer Science and Applied Mathematics Preußerstr / Institute of Computer Science and Applied Mathematics / German Research Council / Oxford University / Department of Chemical Engineering Emil-Figge-Str. / /
Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral