Bruno daAusbourg

Université Fédérale de Toulouse Midi-Pyrénées

Papers

1

Total Citations

8

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 8 citations
Debugging1 · 8 citations
File system1 · 8 citations
Formal methods1 · 8 citations
Formal specification1 · 8 citations
Formal verification1 · 8 citations
Life-critical system1 · 8 citations
Lustre (file system)1 · 8 citations
Model checking1 · 8 citations
Operating system1 · 8 citations
Programming language1 · 8 citations
Software1 · 8 citations

Key Achievements

1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Formal development process of safety-critical embedded human machine interface systems
8 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Université Fédérale de Toulouse Midi-Pyrénées

Top Papers

  1. 1
    Formal development process of safety-critical embedded human machine interface systems
    8 citations · 2017

Key Collaborators

NGNing Ge1 shared papersADArnaud Dieumegard1 shared papersÉJÉric Jenn1 shared papersYAYamine Aït‐Ameur1 shared papers
Not generated yet