467.600 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Serhiienko, Serhii |
| |
| Schmalz, Ulrike |
| |
| Oliveira, Marisa |
| |
| Ribeiro Pereira, Maria Teresa |
| |
| Bellér, Gábor |
| |
| Araujo, M. |
| |
| Frey, Michael | Karlsruhe |
|
| Coutinho-Rodrigues, João | Coimbra |
|
| Wouters, Christian Guillaume Louise | Aachen |
|
| Kessel, Paul J. Van Van |
| |
| Árpád, István |
| |
| Fontul, Simona |
| |
| Kocsis, Dénes |
| |
| Cigada, Alfredo | Milan |
|
| Oort, Neils Van | Delft |
|
| Agárdi, Anita | Miskolc |
|
| Andrews, Gordon E. |
| |
| Sousa, Nuno |
| |
| Witlox, Frank Jacomina Albert | Ghent |
|
| Dobruszkes, Frederic |
| |
| Kiss, Judit T. |
| |
| Hadachi, Amnir | Saint-Étienne-du-Rouvray |
|
| Hamilton, Carl J. | Kunovice |
|
| Misiura, Serhii |
| |
| Schimpf, Marina |
|
Collart-dutilleul, S.
in Cooperation with on an Cooperation-Score of 37%
Topics
- railway train
- submarine
- Petri net
- safety
- railway network
- assessment
- modeling
- train consist
- simulation
- design method
- software
- implementation
- validity
- human being
- specification
- engineering
- language
- infrastructure
- validation
- certification
- behavior
- constraint
- bottleneck
- railway grade crossing
- abstract
- machinery
- design
- data
- crash
- chemical element
- video
- chain
- surveillance
- architecture
- camera
- statistical analysis
- closed circuit television
- wireless communication system
- concrete
- medical treatment
- supervision
- safety analysis
- telecommunication
- radio equipment
- state of the art
- roadside
- data communication
- offside
- show 18 more
Publications
- 2019Introducing b-sequenced petri nets as a CPN sub-class for safe train control
- 2019Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: − Application to a Railway System −citations
- 2012Integration of B activity into a global design process
- 2012Integration of B activity into a global design process (Poster)
- 2012PANSAFER - D5.1 : Protocole de test et description des infrastructures de passage à niveau utilisées dans le cadre du projet
- 2011Un ensemble d'outils scientifiques orientés modèles pour assister la conception de spécification en langage B
- 2011A formal model of requirements
- 2011A set of design oriented scientific tools to assist abstract B machine specification
- 2010Functioning mode Management and formal assessment of safety
- 2010PANsafer Project: Towards a safer level crossing
- 2008Taking advantage of some complementary modelling methods to meet critical system requirement specification
- 2008Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau
- 2008Temporal requirements checking in a safety analysis of railway systems
- 2007Use of fixed and wireless communication technologies in level crossing applications
Places of action
