No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082019
If you made any changes in Pure these will be visible here soon.

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.

Engineering & Materials Science

Specifications
Model checking
Synchronization
Concurrency control
Formal methods
Message passing
Static analysis
Theorem proving
Technical presentations
Human engineering
Quality assurance
Computer science
Structural properties
Computer programming languages
Data structures
Semantics
Surface mount technology
Technology transfer
File editors
Emergency services
Network protocols
Software engineering
Air traffic control
Application programming interfaces (API)
Specification languages
Concretes
Petri nets
Flow graphs
Security systems
Formal specification
Invariance
Costs
Temporal logic
Automation
Scheduling