IBM / Rockwell / Motorola / Survivable Key Management Systems / AMD / M&S / /
Continent
Europe / /
Country
Germany / Belgium / France / / /
Event
Reorganization / /
Facility
Hall International Series / International Space Station / University of Pennsylvania / /
IndustryTerm
technology transfer perspective / theorem proving tools / actual network / insurance claim processing / theorem proving tool / finance server / administration server / software verification problem / formal tools / large distributed systems / safety systems / model network devices / software development methods / large complex applications / internal server / finance networks / theorem-proving tool / software behavior / physical networks / ftp server / technology adoption / safety critical systems / main communications bus / technology transfer / /
MusicGroup
The Network / /
Organization
5th International International Command / the University of Pennsylvania / National Institute of Standards and Technology / Defense Modeling and Simulation Office / National Aeronautics and Space Administration / /
Person
Catherine Meadows / Mark Saaltink / D. Richard Kuhn Dan Craigen / Susan Gerhart / Michael Goldsmith / Irwin Meisels / Moore / Jean-Jacques Quisquater / Dan Craigen / Dieter Gollmann / Jason Hulance / Jim Woodcock / Simon N. Foley / Yves Deswarte / Ted Ralston / Irfan Zakiuddin / /
Position
Bus controller / network manager / model network devices / Conceptual Model Development / controller / practicing engineer / /
ProgrammingLanguage
Java / R / Object Constraint Language / Unified Modeling Language / J / /
Practical Application of Formal Methods in Modeling and Simulation D. Richard Kuhn Dan Craigen, Mark Saaltink