Heinemann, Elisabeth; Ortner, Erich; Repp, Nikolas
mobileISM: Ein Framework zur adaptiven Unterstützung der Nutzung mobiler DiensteKarlsruhe. 2003
Wiebel, Alexander
Tetrahedrisierung irregulärer Gitter und 3D-Helmholtz-Hodge-Zerlegung von VektorfeldernAG Visualisierung. 2003
Simon, Carlo
A Logic of Actions to Specify and Verify Process RequirementsThe 7th Australian Workshop on Requirements Engineering (AWRE). Melbourne. 2002 S. 157 - 168
Simon, Carlo; Reckmann, Nadja; M. C. Swatman, Paula
Initiating eLearning via Workflow Management.I3E. 2002 S. 319 - 333
Simon, Carlo
A logic of actions and its application to the development of programmable controllersKoblenz: Fölbach 2001 235 S.
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Modeling and Validation of Hybrid Systems using Extended Timestamp NetsAutomatisierungstechnik (AT). Bd. 49. H. 2. De Gruyter 2001 S. 60 - 65
Lautenbach, Kurt; Simon, Carlo
Modellierung der Dynamik einer Batch-AnlageEngineering komplexer Automatisierungssysteme. Braunschweig. 2001 S. 57 - 74
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
A Modular Modeling Approach for Hybrid Systems Based on C/E-Systems and Extended Timestamp NetsProceedings of the 4th International Conference on Automation of Mixed Processes. Dortmund. 2000 S. 363 - 368
Mohamed, Chouikha; Decknatel, Gebhard; Drath, Rainer et al.
Petri Net-based Descriptions for Discrete-Continuous SystemsAutomatisierungstechnik (at). Bd. 48. H. 9. De Gruyter 2000 S. 415 - 425
Chouikha, M.; Decknatel, G.; Drath, R. et al.
Petri-Net-based Descriptions for Discrete-Continuous SystemsAutomatisierungstechnik. Bd. 48. H. 9. Berlin: De Gruyter 2000 S. 415