Old Web
English
Sign In
Acemap
>
authorDetail
>
Martin Schönhoff
Martin Schönhoff
Braunschweig University of Technology
Specification language
Systems engineering
Formal methods
Formal specification
Distributed computing
1
Papers
2
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Specifying the Remote Control of Valves in an Explosion Test Environment
1997
FM | Formal Methods
Martin Schönhoff
Mojgan Kowsari
Show All
Source
Cite
Save
Citations (2)
1