Old Web
English
Sign In
Acemap
>
authorDetail
>
Ivan Gomes
Ivan Gomes
California Institute of Technology
Software engineering
Computer science
Model-based systems engineering
Formal methods
Model checking
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Model checking as a service: towards pragmatic hidden formal methods.
2020
MoDELS | Model Driven Engineering Languages and Systems
Benedek Horváth
Bence Graics
Ákos Hajdu
Zoltán Micskei
Vince Molnár
István Ráth
Luigi Andolfato
Ivan Gomes
Robert Karban
Show All
Source
Cite
Save
Citations (0)
Assisted authoring of model-based systems engineering documents.
2020
MoDELS | Model Driven Engineering Languages and Systems
Thomas Boyer Chammard
Blake Regalia
Robert Karban
Ivan Gomes
Show All
Source
Cite
Save
Citations (0)
1