Fingerprint Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Engineering & Materials Science
Model checking
Specifications
Concurrency control
Formal methods
Message passing
Static analysis
Theorem proving
Technical presentations
Human engineering
Quality assurance
Computer science
Synchronization
Computer programming languages
Data structures
Surface mount technology
Technology transfer
Semantics
File editors
Emergency services
Network protocols
Software engineering
Air traffic control
Specification languages
Petri nets
Security systems
Invariance
Concretes
Costs
Automation
Scheduling
Social Sciences
Greece