2023
DOI: 10.1016/j.iot.2023.100878
|View full text |Cite
|
Sign up to set email alerts
|

Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
0
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 42 publications
0
0
0
Order By: Relevance
“…The skill dimension of employment competitiveness is not only the ability level after transformation, but also the manifestation of comprehensive skills. In the skill dimension, different majors do not show significant differences [20]. Combined with the requirements of management majors, public management students are the pursuit of high skills can be found in the existing education system that still emphasizes theoretical study and research, and still neglects the cultivation of the hands-on and practical abilities of college students.…”
Section: The Self-planning Level Of Public Management College Student...mentioning
confidence: 99%
“…The skill dimension of employment competitiveness is not only the ability level after transformation, but also the manifestation of comprehensive skills. In the skill dimension, different majors do not show significant differences [20]. Combined with the requirements of management majors, public management students are the pursuit of high skills can be found in the existing education system that still emphasizes theoretical study and research, and still neglects the cultivation of the hands-on and practical abilities of college students.…”
Section: The Self-planning Level Of Public Management College Student...mentioning
confidence: 99%