Fast track conference proceedings State of the art research Of interest to academic and industrial researchers alike
David S. Rosenblum
AntiPattern Constraint Debugging Java Scheduling Simulation Software Engineering automata modeling optimization real-time semantics testing validation verification