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

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