Publication | Closed Access

Conflict-directed A* and its role in model-based embedded systems

Model-based System EngineeringEngineeringFormal MethodsSystems EngineeringModel-based Embedded SystemsComputer ScienceEmbedded SystemsEmbedded ArchitectureEmbedded Operating System