Matches in UGent Biblio for { <https://biblio.ugent.be/publication/409525#aggregation> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- aggregation classification "P1".
- aggregation creator person.
- aggregation creator person.
- aggregation date "2007".
- aggregation format "application/pdf".
- aggregation hasFormat 409525.bibtex.
- aggregation hasFormat 409525.csv.
- aggregation hasFormat 409525.dc.
- aggregation hasFormat 409525.didl.
- aggregation hasFormat 409525.doc.
- aggregation hasFormat 409525.json.
- aggregation hasFormat 409525.mets.
- aggregation hasFormat 409525.mods.
- aggregation hasFormat 409525.rdf.
- aggregation hasFormat 409525.ris.
- aggregation hasFormat 409525.txt.
- aggregation hasFormat 409525.xls.
- aggregation hasFormat 409525.yaml.
- aggregation isPartOf urn:isbn:978-3-540-71997-7.
- aggregation isPartOf urn:issn:0302-9743.
- aggregation language "eng".
- aggregation publisher "Springer".
- aggregation subject "Science General".
- aggregation title "SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts".
- aggregation abstract "SVtL is the core of a slicing-based verification environment for UML statechart models. We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In [18] a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model.".
- aggregation authorList BK295125.
- aggregation endPage "155".
- aggregation startPage "142".
- aggregation volume "4409".
- aggregation aggregates 826650.
- aggregation isDescribedBy 409525.
- aggregation similarTo LU-409525.